theory A technique for describing the meaning of programs in

terms of mathematical functions on programs and program

components. Programs are translated into functions about

which properties can be proved using the standard mathematical

theory of functions, and especially domain theory.